УМОЗАКЛЮЧЕНИЕ

логическая последовательность суждений, ведущая к определенному заключению. Типы умозаключений различаются по форме и степени строгости: 1) дедукция, представляющая собой вывод частного случая из общего принципа: например, всякий человек смертен, следовательно, такойто человек смертен. Этот чисто логический тип умозаключения достаточно строг, но не всегда плодотворен; 2) индукция, идущая от частного случая (я вижу рыжую женщину) к общему закону (все женщины – рыжие). Этот тип умозаключения можно считать творческим, но не отличающимся большой строгостью. Его используют в физической науке (но с максимальной осторожностью), чтобы перейти от наблюдения фактов (как можно большего числа фактов) к определению гипотезы; 3) математическое умозаключение – синтез двух предыдущих типов, одновременно строгий и плодотворный (отсюда то двойное название, которое емудает логик Гобло: «строгая индукция» и «конструктивная дедукция»). Например, 2 2=4. В чистой логике это будет выглядеть так: 2 2 = 2 2. Образование числа 4 – это конструктивный синтез.